$\forall$$T$:Type, $A$, $B$, $C$:($T$ List). $B$ $\subseteq$ $A$ $\Rightarrow$ l\_disjoint($T$;$A$;$C$) $\Rightarrow$ l\_disjoint($T$;$B$;$C$)